منابع مشابه
Galileo's Dagger.
Galileo found that fine lines on a balance scale dazzled his eyes and were unreadable. So he used a grid of fine wires instead and ran his dagger across it, counting the number of auditory clicks. This is the first known experiment on sensory substitution.
متن کاملMonads on Dagger Categories
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...
متن کاملCloak-and-dagger publishing.
71 SPECIALSECTION could escape from a lab and cause a human pandemic, or that revealing details about the research could inadvertently aid terrorists seeking a bioweapon. They asked the National Science Advisory Board for Biosecurity, set up after the 2001 anthrax attacks, to review the H5N1 studies. It initially recommended that the papers be published only if journal editors deleted key metho...
متن کاملThe dagger lambda calculus
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols [4] into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus [6] with a linear negation [1] of ”trivialised” De Morgan duality [5]. Reduction is realised through explicit substitution, based on a symmetric notion of binding of glo...
متن کاملDagger Categories of Tame Relations
Within the context of an involutive monoidal category the notion of a comparison relation cp : X ⊗X → Ω is identified. Instances are equality = on sets, inequality ≤ on posets, orthogonality ⊥ on orthomodular lattices, non-empty intersection on powersets, and inner product 〈− |−〉 on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Society of Antiquaries of Scotland
سال: 1852
ISSN: 2056-743X,0081-1564
DOI: 10.9750/psas.001.73.74